set theory simplified